Forschung

Das Hauptgebiet unserer Forschung ist Symbolisches Rechnen, also Computer Algebra und Computer Logik (automatische Deduktion und Verifikation). Da symbolisches Rechnen sehr aufwendig ist, forschen und lehren wir insbesondere auch auf dem Gebiet paralleler und verteilter Systeme. Unser Know-How über die praktische Nutzbarkeit heutiger paralleler und verteilter Systemsoftware nutzen wir auch zur Entwicklung einer industriefähigen parallelen Robotersteuerung.

Ziel des symbolischen Rechnens ist es, die Rechenregeln der mathematischen Logik und der Algebra in Computerprogramme umzusetzen und automatisch anzuwenden. In unserer Gruppe werden die Gebiete des parallelen Beweisens mit Termersetzungssystemen und des parallelen Lösens nichtlinearer algebraischer Gleichungssysteme behandelt. Wir entwickeln dazu das System P ARSAC zum parallelen symbolischen und algebraischen Rechnen und wenden es auf eine Reihe praktischer Probleme an, wie z.B. die Verifikation von VLSI Schaltungen und das Steuern von Robotern.

Unsere wichtigsten Projekte sind:

• Systeme und Programmiermethoden zum parallelen Rechnen (S- THREADS , DTS).
• Parallele Termersetzungssysteme (P A R E D U X).
• Parallele Computer-Algebra (P ARSAC , P AR E Q S).
• Parallele Robotersteuerungen (H IGH R OBOT ).
• Visualisierung mathematischer Gegenstände für die Lehre.